" Bernhard Schätz" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Formal Methods for Industrial Critical Systems (Lecture Notes in Computer Science)

Автор: Gwen Salaün, Автор: Bernhard Schätz (Editors)

Размер книги: 3.65 Mb

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected ... / Programming and Software Engineering

Автор: Holger Giese, Автор: Gabor Karsai, Автор: Edward A. Lee, Автор: Bernhard Rumpe, Автор: Bernhard Schätz

Размер книги: 6.27 Mb